# If you change this file, you need to run:
#     rm -rf buildroot/output/build/linux-*.*.*/
# before ./run
CONFIG_DEBUG_KERNEL=y
CONFIG_DEBUG_FS=y
CONFIG_DEBUG_INFO=y
CONFIG_GDB_SCRIPTS=y
